1321. The singularity is near :
پدیدآورنده: Ray Kurzweil.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Brain-- Evolution.,Genetics.,Human evolution.,Nanotechnology.,Robotics.,Artificial Intelligence.,Biological Evolution.,Neural Networks (Computer)
رده :
QP376
.
K85
2006
1322. The site reliability workbook :
پدیدآورنده: edited by Betsy Beyer [and 4 others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer engineering.,Information technology-- Management.,Reliability (Engineering),BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Computer engineering.,Information technology-- Management.,Reliability (Engineering)
رده :
T58
.
64
1323. The traditional problem of evil: suffering and evil actions -- Another problem of evil: divine hiddenness -- Miracles as a problem of evil -- The ignorance defense -- Identifying, interpreting, and certifying revelation -- Should God's power be understood as omnipotence? -- A process Christian theism and the problems of evil. 0
پدیدآورنده: James A. Keller.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
1324. The vulnerability of laser warning systems against guided weapons based on low power lasers
پدیدآورنده: Al-Jaberi, Mubarak
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Lasers - technology and applications ; Laser warning system ; MATLAB - computer program ; SIMULINK - simulation tool
1325. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده: Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
1326. Theory and Practice of Geometric Modeling
پدیدآورنده: edited by Wolfgang Stra€er, Hans-Peter Seidel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer hardware.,Computer science.,Software engineering.
1327. Theory and Practice of Model Transformations :
پدیدآورنده: edited by Keith Duddy, Gerti Kappel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2013
1328. Thinking-driven testing :
پدیدآورنده: Adam Roman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
رده :
QA76
.
758
1329. Three-Dimensional Modeling with Geoscientific Information Systems
پدیدآورنده: edited by A. Keith Turner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Geological modeling -- Congresses.,Information storage and retrieval systems -- Geology -- Congresses.,Information storage and retrieval systems -- Mines and mineral resources -- Congresses.
1330. Tools and Algorithms for the Construction and Analysis of Systems
پدیدآورنده: \ Christel Baier, Cesare Tinelli (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده :
QA76
.
9
.
T33
2010
E-Book
,
1331. Tools and Environments for Parallel and Distributed Systems
پدیدآورنده: edited by Amr Zaky, Ted Lewis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Software engineering.
1332. Tools and algorithms for the construction and analysis of system
پدیدآورنده: / C.R. Ramakrishnan, Jakob Rehof (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: System design--Congresses,System analysis--Congresses,Computer software--Development--Congresses
رده :
QA
,
76
.
9
,.
S88
,
T33
,
2008
1333. Tools and algorithms for the construction and analysis of systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: System design ; Congresses. ; Computer software ; Development ; Congresses. ;
1334. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Javier Esparza, Rupak Majumdar (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.
رده :
QA76
.
9
.
S88
T33
2010
1335. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
1336. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
1337. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده: Tomáš Vojnar, Lijun Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
رده :
QA76
.
9
.
S88
1338. Tools and algorithms for the construction and analysis of systems
پدیدآورنده: Cormac Flanagan, Barbara König (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2012eb
1339. Tools and algorithms for the construction and analysis of systems
پدیدآورنده: Nir Piterman, Scott A. Smolka (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2013
1340. Tools and algorithms for the construction and analysis of systems
پدیدآورنده: Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2011
